joeq.Compiler.Analysis.IPSSA.Apps
Classes
AssertionAnalysis
ClassHierarchy
DeclarationDepth
FindBadStores
FindOwnership
ReachabilityTracerApp